Weight and Measure in NIP Theories
نویسنده
چکیده
We initiate an account of Shelah’s notion of “strong dependence” in terms of generically stable measures, proving a measure analogue (for NIP theories) of the fact that a stable theory T is “strongly dependent” if and only if all (finitary) types have finite weight.
منابع مشابه
Stable embeddedness and NIP
We give some sufficient conditions for a predicate P in a complete theory T to be “stably embedded”. Let P be P with its “induced ∅definable structure”. The conditions are that P (or rather its theory) is “rosy”, P has NIP in T and that P is stably 1-embedded in T . This generalizes a recent result of Hasson and Onshuus [6] which deals with the case where P is o-minimal in T . Our proofs make u...
متن کاملGenerically stable and smooth measures in NIP theories
We formulate the measure analogue of generically stable types in first order theories with NIP (without the independence property), giving several characterizations, answering some questions from [9], and giving another treatment of uniqueness results from [9]. We introduce a notion of “generic compact domination”, relating it to stationarity of Keisler measures, and also giving group versions....
متن کاملTopological dynamics and definable groups
We give a commentary on Newelski’s suggestion or conjecture [8] that topological dynamics, in the sense of Ellis [3], applied to the action of a definable group G(M) on its type space SG(M), can explain, account for, or give rise to, the quotient G/G00, at least for suitable groups in NIP theories. We give a positive answer for measure-stable (or fsg) groups in NIP theories. As part of our anal...
متن کاملOn generically stable types in dependent theories
We develop the theory of generically stable types, independence relation based on nonforking and stable weight in the context of dependent (NIP) theories.
متن کاملDistal and non-distal NIP theories
We study one way in which stable phenomena can exist in an NIP theory. We start by defining a notion of ‘pure instability’ that we call ‘distality’ in which no such phenomenon occurs. O-minimal theories and the p-adics for example are distal. Next, we try to understand what happens when distality fails. Given a type p over a sufficiently saturated model, we extract, in some sense, the stable pa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 54 شماره
صفحات -
تاریخ انتشار 2013